ja 半順序集合 (n)
― Synonym ⟶
Weight: 2.0
en partially ordered set Source: JMDict 1.07